//  midi_input_devices()

//  Returns the amount of connected devices.

//  By David "Davve" Norgren for MIDI input - www.stuffbydavid.com

return external_call(lib_midi_input_devices)
